à l'emploi d'ingénieur en chef des mines et titularisés dans le grade correspondant